Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
91	RECRUITMENT REFERENCE NUMBER: SYSENG0316 JOB TITLE: Add to Reading List Source URL: www.martin-baker.com Language: English - Date: 2016-03-04 06:30:00 Engineering Systems engineering Software requirements Occupations Requirement Simulation Verification
92	Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computing Computer programming Adder Binary logic Computer arithmetic Objective-C Application programming interface Go
93	Deliverable No. 9.3 Report on the validation and certification of ObTiMA and DoctorEye Grant Agreement No.: Add to Reading List Source URL: p-medicine.eu Language: English - Date: 2013-08-09 04:12:25 Pharmaceutical industry Evaluation Medical research Validity Clinical data management Software testing Pharmacology Systems engineering Validation Verification and validation Software verification and validation Software verification
94	Assessing learner-constructed conceptual models and simulations of dynamic systems? Bert Bredeweg1 and Jochem Liem1 and Christiana Nicolaou2 1 2 Add to Reading List Source URL: ivi.fnwi.uva.nl Language: English - Date: 2016-07-07 18:36:56 Software engineering Engineering Process management Simulation Scientific modeling Epistemology of science Interpretation Scientific modelling Conceptual model Object Process Methodology Modeling language Software verification and validation
95	Sirius SC Software Features Applications: QA/QC of 2D and 3D Seismic Navigation Data. Used for FLQC by RPS. Final P1/90 Processing of 2D and 3D Seismic Navigation data Verification of compliance with UKOOA P1 and P2 data Add to Reading List Source URL: www.ecqc.com Language: English - Date: 2012-03-09 20:59:00 Software Application software Geographic information system Imaging 3D imaging 3D graphics software Graphics software Image segmentation Virtual reality
96	Microsoft PowerPoint - 16ae_0265_koopman_autonomous_vehicle_vv_sae_wc_2016.ppt [Compatibility Mode] Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2016-04-16 06:29:36 Engineering Software engineering Safety engineering Software requirements Car safety Systems engineering Product testing ISO 26262 Reliability engineering Traceability Verification and validation Requirement
97	Microsoft Word - 16ae-0265_koopman_camera_ready.docx Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2016-03-06 19:15:34 Engineering Safety engineering Systems engineering Software quality Computer systems Control engineering ISO 26262 Life-critical system Reliability engineering Verification and validation Fault tolerance Software testing
98	DUCC Installation and Verification Excerpt From Complete DUCC Documentation Written and maintained by the Apache UIMATM Development Community c 2012 The Apache Software Foundation Add to Reading List Source URL: uima.apache.org Language: English - Date: 2016-08-08 15:58:33 Software System software Computer architecture System administration Superuser Cgroups Home directory Privilege IBM General Parallel File System Arch Linux File system Apache Maven
99	David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions Add to Reading List Source URL: davesource.com Language: English - Date: 2016-08-17 01:14:20 Electronic design automation Software engineering Computing Hardware verification languages Hardware description languages Verilog Perl Formal verification Programming tool Post-silicon validation Computer E
100	To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-02-05 21:11:01 Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process

UPDATE